DFTRES

Benchmark

Model:	crowds v.1 (DTMC)
Parameter(s)	TotalRuns = 5, CrowdSize = 20
Property:	positive (prob-reach)

Invocation (specific)

java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop positive  --def TotalRuns 5 --def CrowdSize 20 --relErr 0.05 --unsafe-scheduling --fixed-batches crowds.jani

Execution

Walltime:	14.984314680099487s
Return code:	0
Relative Error:	0.0005029485145425163

Log

Total time: 14.74 s.
Property positive:
point estimate: 0.08602576613343352,
var: 6.4602711333949445,
CI: [0.0818354877960169, 0.09021604447085013] = 0.08602576613343352 +/- 0.004190278337416614